منابع مشابه
Reachability analysis of complex planar hybrid systems
Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. In this paper we are concerned with GSPDIs, 2-dimensional systems generalizing SPDIs (planar hybrid systems based on “simple polygonal differential inclusions”), for which reachability...
متن کاملCommand and Control for Large-Scale Hybrid Warfare Systems
Emerging hybrid threats in large-scale warfare systems require networked teams to perform in a reliable manner under changing mission tactics and ad-hoc reconfiguration of mission tasks and force resources. In this paper, a formal Command and Control (C2) structure is presented that allows for computer-aided execution of the networked team decision-making process, real-time tactic selection, an...
متن کاملLogical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
The author is an assistant professor in the Computer Science Department at Carnegie Mellon University. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany. Among other awards he won best paper awards at the Tableaux 2007 and FM 2009 conferences, he was among Popular Science Magazine’s annual "Bri...
متن کاملHybrid Reasoning for Complex Systems
We have recently begun work on extending our least-commitment constraint-based scheduling technology to handle more complex dynami-cal models. The current scheduling process involves a complex interaction between discrete choices (resource assignments, sequencing decisions), and a continuous temporal model. Discrete choices enforce new constraints on the temporal model. Those constraints may be...
متن کاملSynchronization analysis of complex dynamical networks with hybrid coupling with application to Chua’s circuit
Complex dynamic networks have been considered by researchers for their applications in modeling and analyzing many engineering issues. These networks are composed of interconnected nodes and exhibit complex behaviors that are resulted from interactions between these nodes. Synchronization, which is the concept of coordinated behavior between nodes, is the most interested behavior in these netwo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2019
ISSN: 1877-0509
DOI: 10.1016/j.procs.2019.05.072